Le cosmopolitisme, un univers de situations

Une procédure de décision pour un problème de satisfiabilité dans un univers ensembliste héréditairement fini

In this paper, we deal with the satisfiability problem for Systems of constraints over hereditarily finite sets This problem is central for integrating sets in programming languages, and particularly for constraint logic programming languages The approach we propose hère is based on reducing Systems of set constraints into Systems ofhnear integer equalities and inequahties (with bounded domain)...

Un wiki/IDE pour exploiter le web de données

Vers un entrepôt de données pour le trafic routier

Claudia Bauzer-Medeiros∗, Olivier Carles∗∗, Florian Devuyst∗∗∗, Georges Hébrail∗∗∗∗, Bernard Hugueney, Marc Joliveau∗∗∗, Geneviève Jomier, Maude Manouvrier, Yosr Naïja, Gérard Scemama∗∗, Laurent Steffan ∗Institute of Computing (IC) University of Campinas Caixa Postal 6176 13084-971 Campinas, SP Brazil cmbm@ic. unicamp. br ∗∗INRETS Laboratoire GRETIA 2, Avenue du Général Malleret Joinville 94114...

Le syndrome de Stewart-Treves compliquant un lymphœdème chronique idiopathique

Le syndrome de Stewart-Treves (SST) est une entité rare, correspondant à un angiosarcome cutané compliquant un lymphoedème chronique. Il est de mauvais pronostic. Stewart et Treves ont rapportés en 1948, les premiers cas d'angiosarcome secondaire à un traitement du cancer du sein. Ce terme s'est généralisé pour regrouper l'ensemble des cas de lymphangiosarcome sur lymphoedème d'origine congénit...

Le lymphome primitif de la vessie: un cas clinique

Les tumeurs de vessie constituent les tumeurs les plus fréquentes de l'appareil uro-génital chez l'homme, le type histologique est dominé par le carcinome urothéliale, la localisation primitive du lymphome malin est extrêmement rare et constitue souvent une surprise diagnostique quand elle est retrouvée. Nous rapportons à travers cette observation le cas d'un patient pris en charge au sein de n...